Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
261	Cut Elimination in Deduction Modulo by Abstract Completion Guillaume Burel1 and Claude Kirchner2 1 3 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:13:18 Natural deduction Sequent calculus Cut-elimination theorem Sequent Rule of inference First-order logic Mathematical proof KeY Negation Logic Mathematical logic Proof theory
262	IACR School on Computer-Aided Cryptography Add to Reading List Source URL: www.easycrypt.info Language: English - Date: 2015-06-01 12:29:59 Macroeconomics Electronic press kit Money Money supply Mathematical proof Cryptography Economics Ciphertext indistinguishability
263	Formalization, Mechanization and Automation of G¨ odel’s Proof of God’s Existence? Christoph Benzm¨ uller1 and Bruno Woltzenlogel Paleo2 1 Add to Reading List Source URL: www.logic.at Language: English - Date: 2013-08-25 01:30:42 Model theory Arguments for the existence of God Philosophical logic Functions and mappings Modal logic Mathematical proof Function Isabelle Ontological argument Logic Mathematics Mathematical logic
264	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
265	Two Properties of Expenditure functions Proof that e(p, u) is a concave function of p. Proof: We want to show that for any u and any two price vectors p and p0 , and for any λ between 0 and 1, λe(p, u) + (1 − λ)e(p0 Add to Reading List Source URL: econ.ucsb.edu Language: English - Date: 2011-10-18 17:00:43 Quantum mechanics Ordinary differential equations Spectral theory Representation theory of Lie groups Operator theory Physics Mathematical analysis
266	Mathematical Research Letters 7, 597–A PROOF OF THE KAC-WAKIMOTO AFFINE DENOMINATOR FORMULA FOR THE STRANGE SERIES Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2011-05-21 06:43:10
267	Cauchy-Schwarz Inequality: Yet Another Proof Titu Andreescu and Bogdan Enescu give an elegant — and memorable — proof of the Cauchy-Schwarz inequality among the gems in their Mathematical Olympiad Treasures (Birkhaus Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2015-06-21 21:11:59
268	The Semantics and Proof Theory of Linear Logic Arnon Avron Department of Computer Science School of Mathematical Sciences Tel-Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2004-01-21 05:20:53
269	ON THE APPROXIMATION OF CERTAIN PROBABILITY MEASURES BY A SET OF POINTS L.A. BREYER Abstract. In this paper we describe a framework for the comparison of a finite set of points with a probability measure if the latter be Add to Reading List Source URL: www.lbreyer.com Language: English - Date: 2006-06-16 03:39:12 Normal distribution Integral Fourier analysis Joseph Fourier Proof that π is irrational Oscillator semigroup Mathematical analysis Complex analysis Pi
270	MFPSGlobal State Considered Helpful Paul Blain Levy 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-06-30 15:25:55 Algebraic geometry Theoretical physics Mathematical analysis Deduction Natural deduction Proof theory Orbifold Differential geometry Geometry Differential topology

UPDATE